H ? « ‹ ← → › »

Language peer sets for The Mathematical Vernacular:
Netherlands↑
Netherlands/1980↑
Designed 1980 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

The Mathematical Vernacular(ID:7827/)

alternate simple view
Country: Netherlands
Designed 1980

type Automath
Related languages
Church typed-lambda calculus → The Mathematical Vernacular   Incorporated some features of
References:
  • de Bruijn, N.G. (1987) de Bruijn, N.G. The Mathematical Vernacular, a language for mathematics with typed sets. In P. Dybjer et al., editors, Proceedings of the Workshop on Programming Languages. Marstrand, Sweden, 1987
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder